A Gentle Introduction to Riak Core
18 Dec 2014
What is Riak Core?
People tend to refer to Riak Core as a framework or toolkit for developing scalable, fault-tolerant, distributed applications. However, I find this description somewhat misleading. After reading this description, people automatically assume that Riak Core ships with off-the-shelf replication and synchronisation algorithms. People familiar with...
A Gentle Introduction to QuviQ's QuickCheck
27 Nov 2014
What is QuickCheck?
QuickCheck is a language for stating properties of programs.
?FORALL(X, nat(), X*X >= 0)It is implemented as a library of functions and macros (like the ?FORALL macro...